منابع مشابه
Spt Software Process Technology
CEPIS, Council of European Professional Informatics Societies, is a non-profit organisation seeking to improve and promote high standards among informatics professionals in recognition of the impact that informatics has on employment, business and society. CEPIS unites 36 professional informatics societies over 32 European countries, representing more than 200,000 ICT professionals. UP GRADE is...
متن کاملSPT: Storyboard Programming Tool
We present Spt, a tool that helps programmers write lowlevel data-structure manipulations by combining various forms of insights such as abstract and concrete input-output examples as well as implementation skeletons. When programmers write such manipulations, they typically have a clear high-level intuition about how the manipulation should work, but implementing efficient low-level pointer ma...
متن کاملHigher Order Spt-functions
Andrews’ spt-function can be written as the difference between the second symmetrized crank and rank moment functions. Using the machinery of Bailey pairs a combinatorial interpretation is given for the difference between higher order symmetrized crank and rank moment functions. This implies an inequality between crank and rank moments that was only known previously for sufficiently large n and...
متن کاملOn Spt-crank Type Functions
In a recent paper, Andrews, Dixit, and Yee introduced a new spt-type function spt ω (n), which is closely related to Ramanujan’s third order mock theta function ω(q). Garvan and Jennings-Shaffer introduce a crank function which explains congruences for spt ω (n). In this note, we study asymptotic behavior of this crank function and confirm a positivity conjecture of the crank asymptotically. We...
متن کاملGeneralized Higher Order Spt-functions
We give a new generalization of the spt-function of G.E. Andrews, namely Sptj(n), and give its combinatorial interpretation in terms of successive lower-Durfee squares. We then generalize the higher order spt-function sptk(n), due to F.G. Garvan, to jsptk(n), thus providing a two-fold generalization of spt(n), and give its combinatorial interpretation.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: EPJ Web of Conferences
سال: 2019
ISSN: 2100-014X
DOI: 10.1051/epjconf/201921403051